<?php

##########################################################################################################
/* Comprobamos si se ha registrado la session para el usuario */ 

session_start();
// vaciarla
session_unset();
// destruirla
session_destroy(); 
header("location:index.php");

?>
